1. Reasoning in Boolean networks
المؤلف: / by Wolfgang Kunz and Dominik Stoffel
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Integrated circuits, Very large scale integration, Testing, Data processing,Integrated circuits, Verification, Data processing,Logic design, Data processing
رده :
TK7874
.
K866
1997
2. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
المؤلف: Kunz, Wolfgang
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
3. Reasoning in boolean networks : logic synthesis and verification using testing techniques
المؤلف: Kunz, Wolfgang
المکتبة: (طهران)
موضوع: Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design
رده :
TK
7874
.
K866
1997
